home *** CD-ROM | disk | FTP | other *** search
/ Cre@te Online 2000 December / Cre@teOnline CD05.iso / MacSoft / XML ConsoleMax.sea / XML ConsoleMax / Required / swingall.jar / javax / swing / plaf / basic / BasicHTML.class (.txt) < prev    next >
Encoding:
Java Class File  |  1999-07-15  |  2.6 KB  |  72 lines
  1. package javax.swing.plaf.basic;
  2.  
  3. import java.io.StringReader;
  4. import java.net.URL;
  5. import javax.swing.JComponent;
  6. import javax.swing.text.Document;
  7. import javax.swing.text.EditorKit;
  8. import javax.swing.text.View;
  9. import javax.swing.text.ViewFactory;
  10. import javax.swing.text.html.HTMLDocument;
  11. import javax.swing.text.html.HTMLEditorKit;
  12. import javax.swing.text.html.StyleSheet;
  13.  
  14. class BasicHTML {
  15.    public static final String propertyKey = "html";
  16.    private static HTMLEditorKit basicHTMLFactory;
  17.    private static StyleSheet sharedStyles;
  18.    private static final String styleChanges = "p { margin-top: 0; margin-bottom: 0; margin-left: 0; margin-right: 0 }body { margin-top: 0; margin-bottom: 0; margin-left: 0; margin-right: 0 }";
  19.  
  20.    // $FF: synthetic method
  21.    static StyleSheet access$0() {
  22.       return sharedStyles;
  23.    }
  24.  
  25.    public static View createHTMLView(JComponent var0, String var1) {
  26.       HTMLEditorKit var2 = getFactory();
  27.       Document var3 = var2.createDefaultDocument();
  28.       StringReader var4 = new StringReader(var1);
  29.  
  30.       try {
  31.          var2.read(var4, var3, 0);
  32.       } catch (Throwable var8) {
  33.       }
  34.  
  35.       ViewFactory var5 = var2.getViewFactory();
  36.       View var6 = var5.create(var3.getDefaultRootElement());
  37.       Renderer var7 = new Renderer(var0, var5, var6);
  38.       return var7;
  39.    }
  40.  
  41.    static HTMLEditorKit getFactory() {
  42.       if (basicHTMLFactory == null) {
  43.          basicHTMLFactory = new BasicEditorKit();
  44.          HTMLEditorKit var0 = new HTMLEditorKit();
  45.          HTMLDocument var1 = (HTMLDocument)((EditorKit)var0).createDefaultDocument();
  46.          sharedStyles = var1.getStyleSheet();
  47.  
  48.          try {
  49.             StringReader var2 = new StringReader("p { margin-top: 0; margin-bottom: 0; margin-left: 0; margin-right: 0 }body { margin-top: 0; margin-bottom: 0; margin-left: 0; margin-right: 0 }");
  50.             sharedStyles.loadRules(var2, (URL)null);
  51.          } catch (Throwable var3) {
  52.          }
  53.       }
  54.  
  55.       return basicHTMLFactory;
  56.    }
  57.  
  58.    public static boolean isHTMLString(String var0) {
  59.       return var0 != null ? var0.startsWith("<html>") : false;
  60.    }
  61.  
  62.    public static void updateRenderer(JComponent var0, String var1) {
  63.       View var2 = null;
  64.       Object var3 = null;
  65.       if (isHTMLString(var1)) {
  66.          var2 = createHTMLView(var0, var1);
  67.       }
  68.  
  69.       var0.putClientProperty("html", var2);
  70.    }
  71. }
  72.